ConsoleProfileFinishedEvent

data class ConsoleProfileFinishedEvent(id: String, location: Location, profile: Profile, title: String?) : Event
Content copied to clipboard

Constructors

ConsoleProfileFinishedEvent
Link copied to clipboard
fun ConsoleProfileFinishedEvent(id: String, location: Location, profile: Profile, title: String? = null)
Content copied to clipboard

Functions

domain
Link copied to clipboard
open override fun domain(): String
Content copied to clipboard
Returns domain name for which event was generated.
eventName
Link copied to clipboard
open override fun eventName(): String
Content copied to clipboard
Returns event name as described in protocol.

Properties

id
Link copied to clipboard
val id: String
Content copied to clipboard
location
Link copied to clipboard
val location: Location
Content copied to clipboard
Location of console.profileEnd().
profile
Link copied to clipboard
val profile: Profile
Content copied to clipboard
title
Link copied to clipboard
val title: String? = null
Content copied to clipboard
Profile title passed as an argument to console.profile().

Sources

jvm source
Link copied to clipboard